#include "util.hpp"

int get_random_seed() { 
  return 0;
}